41. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Author: Hans Kleine Buning, )ed.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W625
1995
42. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
Author: / Dirk Van Dalen, Marc Bezem (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA75
,.
5
.
W62
43. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
44. Conditional logic in expert systems
Author: edited by I.R. Goodman ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95
C66
1991
45. Current trends on knowledge-based systems
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
006
.
3
C976
2017
21
46. Discrete Mathematics
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
Classification :
QA9
.
25
.
E57
2006
47. Discrete mathematics
Author: / Douglas E. Ensley, J. Winston Crawley
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
Classification :
QA9
.
25
.
E57
2006
48. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
49. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
50. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
51. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
Classification :
511
R813D
2007
52. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
511
R813d
E
.
5
53. Discrete mathematics and its applications
Author: Rosen, Kenneth H.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Mathematics,Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
54. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
55. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
56. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2003
57. Discrete mathematics and its applications
Author: Rosen, Kenneth H.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
2
.
R67D5
2007
58. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Ilam University Central Library (Ilam)
Subject: Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
59. Discrete mathematics and its applications
Author: Kenneth H. Rosen
Library: Central library and Documentation Center (Zanjan)
Subject: ، Mathematics,Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
60. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2003
